Formal software verification measures up
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFormal Verification of Large Software Systems
We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a...
متن کاملFormal Verification of Component-Based Software Systems
In this work we present a methodology for formal modeling and verification of component based software systems. The methodology is based on software architecture, components, and reuse of Petri Nets models. With this process, we are contributing for the visual composition, verification, and formal validation of software. We also show an example of the application of this methodology into two di...
متن کاملFormal Verification of Projection-Based Software Systems
Recent implementation languages such as AspectJ and HyperJ allow systems to be decomposed into declaratively complete units. These units are projections of the system, which are partial implementations of the entire system where each program element such as a data structure or procedure may be partially defined in more than one projection. In contrast, traditional languages rely on units that a...
متن کاملA Formal Approach to Practical Software Verification
Fullllment of the Requirements for the Degree of Doctor of Philosophy. ACKNOWLEDGMENTS I wish to acknowledge my tutor, Professor Claudio Demartini without whom support over the past years, I would never have persevered. I thank also Professor Riccardo Sisto for being a patient collaborator during my Doctorate. I thank Professor Matthew Dwyer at Kansas State University and Doctor Willem Visser a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2021
ISSN: 0001-0782,1557-7317
DOI: 10.1145/3464933